module B {
  Letter -> 'a' | 'b' | 'c';
}
